one-step inequalities